Merge linux-latest (80+deb9u4) import into refs/heads/workingbranch
authorYves-Alexis Perez <corsac@debian.org>
Thu, 22 Feb 2018 07:32:44 +0000 (07:32 +0000)
committerYves-Alexis Perez <corsac@debian.org>
Thu, 22 Feb 2018 07:32:44 +0000 (07:32 +0000)

Trivial merge